natural deduction
[ˈnætʃərəl dɪˈdʌkʃən]
n. 自然演绎 [网络] 自然演绎法；自然推理
n. 自然演绎 [网络] 自然演绎法；自然推理
热门查询
- jet n. 喷射，喷嘴；喷气式飞机；黑玉 adj. 墨黑的 vt. 射出 vi. 射出；[航] 乘喷气式飞机
- retained v. 保留；保存（retain的过去式形式） adj. 保留的
- haematoxylin adj. 苏木素的; 苏木精
- composter n. 堆肥(compost的变形)
- rector n. 校长；院长；教区牧师 n. (Rector)人名；(英)雷克托
- spiff vt. 把…打扮漂亮；使整洁
- delta n. （河流的）三角洲；德耳塔（希腊字母的第四个字） n. (Delta)人名；(英、罗、葡)德尔塔
- glom n. 一瞥 vt. 偷；抢；看；抓住
- slender adj. 细长的；苗条的；微薄的
- establishment n. 确立，制定；公司；设施
- biogeography n. [生态] 生物地理学
- wiggle n. 扭动 vt. 使……摆动，使……扭动 vi. 摆动
- Tyne 泰恩河[英国英格兰北部]
- look for v. 寻找；探索；渴望；盼望 [网络] 期待；找寻；查找
- performance n. 性能；绩效；表演；执行；表现
- riven v. 撕裂（rive的过去分词） n. (Riven)人名；(罗)里文
- hub n. 中心；毂；木片 n. (Hub)人名；(捷)胡布
- PNC [医][=penicilin]青霉素
- bread and butter n. 黄油面包片；（某人或公司的）主要收入来源 [网络] 面包和黄油；生计；涂黄油的面包
- unconcernedly adv. 漠不关心地，无忧无虑地，不感兴趣地
考试词汇表
- enclosed ventilated motor
- encoding microinstruction
- encounter oriented format
- encounter-oriented format
- encourage native products
- encrasicholina heteroloba
- encroachment of sea water
- encryption (cryptography)
- encyclopedia of education
- encyclopedic dictionaries
- end - stage renal disease
- end around shift register
- end centered orthorhombic
- end discharge truck mixer
- end interruption sequence
- end labelled nucleic acid
- end of list control block
- end of procedure division
- end of transmission (EOT)
- end of transmission block
